An Attribute Graph Grammar for UML Package Diagrams and its Applications
نویسندگان
چکیده
Abstract— Graphical representations are often used in software design and development because of their expressiveness. Unified Modeling Language (UML) for modeling in software development was proposed recently, and in 2005 it was standardized as the ISO/IEC 19501 standard. In order to automate processing of these graphical representations using computers, a syntax for program diagrams must first be defined. We propose a framework for specifying these diagrams using a graph grammar, and for processing these diagrams automatically.
منابع مشابه
Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کاملfUML Activity Diagrams with RAG-controlled Rewriting: A RACR Solution of The TTC 2015 Model Execution Case
This paper summarises a RACR solution of The TTC 2015 Model Execution Case. RACR is a metacompiler library for Scheme. Its most distinguished feature is the seamless combination of reference attribute grammars and graph rewriting combined with incremental evaluation semantics. The presented solution sketches how these integrated analyses and rewriting facilities are used to transform fUML Activ...
متن کاملA Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence diagrams based on the well-defined theory of typed attributed graph transformation with inheritance and application conditions. The generated langu...
متن کاملA Novel Methodology for Test Scenario Generation Based on Control Flow Analysis of Uml 2.x Sequence Diagrams
Now a days UML is widely used for preparing design documents. It helps to specify, construct, visualize and document artifacts of software systems. This paper presents an approach to test the software in the early stage (design phase) of software development life cycle, so that it can help the software testers in the later stages. This paper focuses on generating test scenarios from UML 2.x Seq...
متن کاملStory Diagrams: A new Graph Grammar Language based on the Unified Modelling Language and Java
Graph grammars and graph grammar based systems improved a lot towards practical usability during the last years. Nevertheless, there are still major problems to overcome in order to attract a broad number of software designers and developers to the usage of graph grammars. Two of the main problems are, (1) that current graph grammar notations are too proprietary and (2) that there exists no sea...
متن کامل